カバレッジモデルの設定
アカウントメニューからEggplant DAIで利用可能なカバレッジモデルを設定します。カバレッジモデルを使用すると、特定のカバレッジ目標が達成されたときを確認できます。新しいカバレッジモデルタイプを追加するときは、意味のある名前を提供すると便利です。
Eggplant DAIで利用可能なデフォルトのカバレッジモデルは以下のとおりです：
- 全ノード
- 全パス
- 拡張
- フル探索
設定は、選択したEggplant DAIサーバーのインスタンス全体のすべてのグループとモデルに適用されます。
カバレッジモデルの追加：
-
アカウント > カバレッジモデルの管理をクリックします。カバレッジ管理ダイアログボックスが表示されます。
-
新規カバレッジモデルを追加をクリックします。新しいモデルがリストに追加されます。名前フィールドをクリックして、新しく追加されたモデルに意味のある名前を提供します。
-
パスの深度および変数の深度の値を変更するには、各列を編集するだけです。パス深度は1-5の値を使用して編集でき、変数深度は1-2の値を使用して編集できます。パスの深 さは、計算に使用される連続したアクションの数を指します。例えば、パス深度が3を選択した場合、3つの連続したアクションの一意の組み合わせが考慮されます。一方、変数の深さは、カバレッジレポートを作成する際にクロス組み合わせに関与する変数の数を表します。現在、過剰なメモリ使用を防ぐために、変数深度を1-2の値に制限することを推奨しています。Crossタイプの値に関する詳細な情報は、カバレッジレポートの使用を参照してください。
-
アクティブを選択して、新しく追加したモデルをカバレッジレポートタブ > カバレッジタイプのドロップダウンリストで利用可能にします。
-
カバレッジモデルタイプを削除するには、モデルを選択してから選択したものを削除をクリックします。モデルはリストから削除されます。
カバレッジモデルタイプを追加すると、カバレッジモデルが使用されるすべての場所で利用できるようになります。例えば、**カバレッジレポート**タブやカバレッジインサイトレポートなどです。